$\forall$$A$,$B$,$C$:top.
\\[0ex]sqequal(R{-}compat\{i:l\}(Rplus($B$; $C$); $A$); (R{-}compat\{i:l\}($B$; $A$) $\wedge$ R{-}compat\{i:l\}($C$; $A$)))